$\forall$$P$, $Q$, $R$:$\mathbb{P}$. ($P$ $\Rightarrow$ $Q$) $\Rightarrow$ ($Q$ $\Rightarrow$ $R$) $\Rightarrow$ \{$P$ $\Rightarrow$ $R$\}